COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\font\twelvess=cmss12
C00016 ENDMK
C⊗;
\font\twelvess=cmss12
\font\eightrm=cmr8
%\font α=basl30 for xgp
%\newfont timesroman at 8truebp\is\eighttrm
	% Non-indented paragraphs with blank line between.
\def\blockstyle{	
	\parskip 6 pt plus 6 pt minus 4 pt  % Skip a line between paragraphs.
	\parindent 0pt}			% Don't indent normal paragraphs.
\def\xskip{\hskip .7em plus .3em minus .4em}
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2 pt} 
\def\yyskip{\penalty-100\vskip 6pt plus 6pt minus 4pt}

\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}
\def\dol{$\scriptstyle\$ $}
\def\TEX{T\hbox{\hskip-.1667em\lower.424ex\hbox{E}\hskip-.125em X}}
\def\letterstyle{\eightrm \baselineskip 10pt \parskip 3pt \parindent 0pt}
\def\nopagenumber{\output{\shipout\box255}}
\def\∞#1{\hbox{\sl#1\/}}
\def\.#1{\hbox{\bf#1}}
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespace#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespace#3 \par}
\def\Det{\hbox{Det}}
\def\bib{\noindent\hangindent 20pt}
\def\figbox#1:{\vbox{\null\vskip#1\null}}
\def\⊃{\hskip 10pt{\tenex\char'171} \hskip 10pt}
\def\undertext#1{$\underline{\hbox{#1}}$}
\def\d{\hbox{\hskip .4in}} 
\def\e{ \hskip 0pt plus 1000pt \linebreak}
\def\phybox
 {\hbox{
 \vbox{
 \def\|{\vrule height 4pt depth 2pt}
 \hrule
 \hbox to 2pt{\|\hfill\|}
 \hrule
 }}\hskip 3pt}
\def\phya{\hskip 1pt\phybox}
\def\O{\hbox{\rm O}}
\def\outlineone#1:{\par\hangindent 19pt\noindent
  \hbox to 19 pt{#1\hfill}\ignorespace}
\def\outlinetwo#1:{\par\hangindent 38pt\noindent
  \hbox to 38 pt{\hbox to 19pt{\hfill}#1\hfill}\ignorespace}
\def\outlinethree#1:{\par\hangindent 57pt\noindent
  \hbox to 57 pt{\hbox to 38pt{\hfill}#1\hfill}\ignorespace}
\def\≡{\chcode'173=12 \chcode'176=12 \chcode'44=12 \chcode'26=12
\chcode'45=12 \chcode'43=12 \chcode'136=12 \chcode1=12 \chcode'134=12
\chcode'36=0 \tt
\def\`{{\char'15}}\def\'{{\char'16}}\def\↓{{\char'175}}
	\def\≤{\spose~<}\def\≥{\spose~>}\def\∞{∃}}
\def\\{\chcode'176=2 }
\uchyph 1 % hyphenate Capital letter words
\chcode'27=13 \def↔{\ifmmode{\mathrel{\char'444}}\else{\penalty9999\ } }
	% make ↔ tie two words together except in math mode
\def\textindent#1{\noindent\hbox to 19pt {\hskip 0pt plus 1000pt minus 1000pt#1\
 }\ignorespace}

\def\alsletterhead
	{\vbox to 70pt{
	\ctrline{\twelvess STANFORD UNIVERSITY}
	\ctrline{\twelvess STANFORD, CALIFORNIA 94305-2085}
	   \vskip 11pt plus 80pt
	   \hbox{\eightrm ARTHUR L.\ SAMUEL}
%	   \hbox{\eighttrm ARTHUR L.\ SAMUEL}
	   \vskip 1pt
	   \line{\eightrm Adjunct Professor Emeritus \hfill Telephone:\quad}
%	   \line{\eighttrm Adjunct Professor Emeritus \hfill Telephone:\quad}
	   \vskip -2pt
	   \line{\eightrm Department of Computer Science \hfill
%	   \line{\eighttrm Department of Computer Science \hfill
		 (415) 497-3330}
	 }
\blockstyle
\nopagenumber}

\def\fin
	{\vskip 10pt
	\hskip 4.5 truein
	Sincerely yours,

	\vskip 1 truein
	\hskip 4.5 truein
	Arthur L.\ Samuel

	\vfill

	\end
	}
        \yskip	% skip some space
\def\!#1{\hbox{\ctrline{#1, 1982}}}

\alsletterhead